161. Formal VLSI correctness Verification VLSI Design methods II
المؤلف: / edited by Luc J. M. Claesen
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Integrated Circuits -- Very large scale integration -- Desige and construction -- Data processing - Congresses,Integrated circuits -- very large scale integaration -- Design and construction -- Data processing -- Congresses
رده :
TK
7874
.
I3283
1989
162. Formal hardware verification : methods and systems in comparison
المؤلف: Thomas Kropf, )ed.(
المکتبة: (طهران)
موضوع: Design and construction -- Data processing ، Integrated circuits -- Very large scale integration,، Integrated circuits -- Verification,، Computer-aided design
رده :
QA
76
.
L28
Vol
.
1287
163. Formal methods for VLSI disign
المؤلف: / edited by Jorgen Staunstrup
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Integrated Circuits -- Very large scale integration -- Design and construction -- Data processing,Computer -- aided,Integrated Circuits -- Large scale integration -- Testing
رده :
TK
7874
.
F65
1990
164. Formal verification :
المؤلف: Erik Seligman, Tom Schubert, M.V. Achutha Kiran Kumar
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Electronic circuits-- Testing,Integrated circuits-- Very large scale integration-- Design and construction,Verilog (Computer hardware description language)
رده :
TK7867
165. Formal verification : an essential toolkit for modern VLSI design
المؤلف: Seligman, Erik
المکتبة: (طهران)
موضوع: Testing ، Electronic circuits,Design and construction ، Integrated circuits -- Very large scale integration,، Verilog )Computer hardware description language(
رده :
TK
7867
.
S46F6
166. Fundamentals of computer-aided circuit simulation
المؤلف: McCalla, William J, William J. McCalla
المکتبة: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Integrated circuits- Very large scale integration- Design and construction- Data processing,، Computer-aided design
رده :
TK
7874
.
M355
1988
167. Fundamentals of computer-aided circuit simulation
المؤلف: McCalla, William J.
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: ، Integrated circuits- Very large scale integration-Design and construction-Data processing,، Computer-aided design
رده :
TK
7874
.
M355
168. Fundamentals of digital logic design: With VLSI circuit applications
المؤلف: Douglas A. Pucknell
المکتبة: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (أذربایجان الشرقیة)
موضوع: Integrated circuits - very large scale integration - Design and construction - Mathematical models,Logic design
رده :
TK
,
7874
,.
P85
,
1990
169. Fundamentals of digital logic design, with VLSI applications
المؤلف: Pucknell, Douglas A., 7291-
المکتبة: كتابخانه پژوهشگاه نیرو (طهران)
موضوع: ، Integrated circuits- Very large scale integration- Design and construction- Mathematical models,، Logic design
170. Fundamentals of digital logic design, with VLSI applications
المؤلف: / Douglas A. Pucknell
المکتبة: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع: Integrated circuits -- Very large scale integration -- Design and construction -- Mathematical models,Logic design
رده :
TK
7874
.
P85
1990
171. Fundamentals of digital logic design: with VLSI circuit applications
المؤلف: Pucknell, Douglas A.
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Very large scale integration - Design and construction - Mathematical models ، Integrated circuits,، Logic design
رده :
TK
7874
.
P85
1989
172. Genetic algorithms for VLSI design, layout & test automation
المؤلف: Mazumder, Pinaki., Pinaki Mazumder, Elizabeth M. Rudnick
المکتبة: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Integrated circuits, Very large scale integration, Design and construction,، Integrated circuits, Very large scale integration, Testing,، Genetic algorithms,، Integrated circuit layout
رده :
TK
7874
.
75
.
M39G4
2007
173. Genetic algorithms for VLSI design, layout & test automation
المؤلف: Mazumder, Pinaki
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: Very large scale integration Testing ، Integrated circuits,، Genetic algorithms,Very large scale integration Design and construction ، Integrated circuits
رده :
TK
7874
.
75
.
M39
174. Genetic algorithms for VLSI design, layout & test automation
المؤلف: Mazumder, Pinaki.
المکتبة: (سمنان)
موضوع: ، Integrated circuits --Very large scale integration --Design and construction.,، Integrated circuits --Very large scale integration --Testing.,، Genetic algorithms.,، Integrated circuit layout.
رده :
TK
7874
.
75
.
M3G4
175. Genetic algorithms for VLSI design, layout & test automation
المؤلف: Mazumder, Pinaki.
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Very large scale integration -- Design and construction ، Integrated circuits,Very large scale integration -- Testing ، Integrated circuits,، Genetic algorithms,، Integrated circuit layout
رده :
TK
7874
.
75
.
M39
2007
176. Handbook of algorithms for physical design automation /
المؤلف: edited by Charles J. Alpert, Dinesh P. Mehta, Sachin S. Sapatnekar.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algorithms.,Integrated circuit layout-- Data processing, Handbooks, manuals, etc.,Integrated circuit layout-- Mathematics, Handbooks, manuals, etc.,Integrated circuits-- Very large scale integration-- Design and construction-- Data processing, Handbooks, manuals, etc.,Algorithms.,Integrated circuits-- Very large scale integration-- Design and construction-- Data processing.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- General.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Integrated.
رده :
TK7874
.
55
.
H36
2009
177. Handbook of algorithms for physical design automation
المؤلف: / edited by Charles J. Alpert, Dinesh P. Mehta, Sachin S. Sapatnekar
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Integrated circuit layout--Mathematics--Handbooks, manuals, etc,Integrated circuit layout--Data processing--Handbooks, manuals, etc,Integrated circuits--Very large scale integration--Design and construction--Data processing--Handbooks, manuals, etc,Algorithms.
رده :
TK7874
.
55
.
H36
2009
178. Handshake circuits :
المؤلف: Kees van Berkel.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Asynchronous circuits.,Integrated circuits-- Very large scale integration-- Computer-aided design.,Silicon compilers.,Asynchronous circuits.,Integrated circuits-- Very large scale integration-- Computer-aided design.,Silicon compilers.
رده :
TK7874
179. Hardware specification, verification, and synthesis : Mathematical aspects : Proceedings
المؤلف: M. Leeser, G. Brown, eds
المکتبة: (طهران)
موضوع: Design and construction -- Data processing -- Congresses ، Integrated circuits -- Very large scale integration
رده :
QA
76
.
L28
Vol
.
408
180. Hardware specification, verification, and synthesis: Mathematical aspects: proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Integrated circuits-- Very large scale integration-- Design and construction-- Data processing,Congresses ، Integrated circuits-- Verification
رده :
TK
7874
.
C685
1989
